bitkeeper revision 1.1159.1.432 (419b9442YT2gjAJwYmMo_I_exuQvYw)

Compile fixes.

diff --git a/xen/common/domain.c b/xen/common/domain.c
index 589995f4aca5ebf99076bc7a8c0bcf34ea92122a..06849842281bb31df1b2fc9d16de2a777c72852c 100644 (file)
--- a/xen/common/domain.c
+++ b/xen/common/domain.c
@@ -323,7 +323,7 @@ long do_boot_vcpu(unsigned long vcpu, full_execution_context_t *ctxt)
         goto out;
     }
 
-    printk("do_boot_vcpu for dom %d vcpu %d\n", d->id, vcpu);
+    printk("do_boot_vcpu for dom %d vcpu %ld\n", d->id, vcpu);
 
     ed = d->exec_domain[vcpu];